π Node [[lean logic]]
β³ π Resource @neil/lean logic
π lean-logic.md by @neil οΈπ βοΈ
Lean Logic
URL : https://leanlogic.online
A book by [[David Fleming]]. The online version kinda feels like a digital gardenβ¦
Loading pushes...
Rendering context...